软件需求工程的活动可以划分为5个独立的阶段：需求获取、需求建模、形成需求规格、需求验证和需求管理，需求建模是( )。